The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc. The isomorphism has many aspects, even at the syntactic level: formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization corresponds to (...) term reduction, etc. But there is more to the isomorphism than this. For instance, it is an old idea---due to Brouwer, Kolmogorov, and Heyting---that a constructive proof of an implication is a procedure that transforms proofs of the antecedent into proofs of the succedent; the Curry-Howard isomorphism gives syntactic representations of such procedures. The Curry-Howard isomorphism also provides theoretical foundations for many modern proof-assistant systems (e.g. Coq). This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic. Key features - The Curry-Howard Isomorphism treated as common theme - Reader-friendly introduction to two complementary subjects: Lambda-calculus and constructive logics - Thorough study of the connection between calculi and logics - Elaborate study of classical logics and control operators - Account of dialogue games for classical and intuitionistic logic - Theoretical foundations of computer-assisted reasoning · The Curry-Howard Isomorphism treated as the common theme. · Reader-friendly introduction to two complementary subjects: lambda-calculus and constructive logics · Thorough study of the connection between calculi and logics. · Elaborate study of classical logics and control operators. · Account of dialogue games for classical and intuitionistic logic. · Theoretical foundations of computer-assisted reasoning. (shrink)

There is a simple technique, due to Dragalin, for proving strong cut-elimination for intuitionistic sequent calculus, but the technique is constrained to certain choices of reduction rules, preventing equally natural alternatives. We consider such a natural, alternative set of reduction rules and show that the classical technique is inapplicable. Instead we develop another approach combining two of our favorite tools—Klop’s ι-translation and perpetual reductions. These tools are of independent interest and have proved useful in a variety of settings; it is (...) therefore natural to investigate, as we do here, what they have to offer the field of sequent calculus. (shrink)

A comprehensive treatment of the shared traditions of Chan, Sŏn, and Zen in dynamic interaction across East Asia, acknowledging the changing and growing parameters of the field of Zen studies.

It is widely assumed that human learning and the structure of human languages are intimately related. This relationship is frequently suggested to derive from a language-specific biological endowment, which encodes universal, but communicatively arbitrary, principles of language structure (a Universal Grammar or UG). How might such a UG have evolved? We argue that UG could not have arisen either by biological adaptation or non-adaptationist genetic processes, resulting in a logical problem of language evolution. Specifically, as the processes of language change (...) are much more rapid than processes of genetic change, language constitutes a both over time and across different human populations, and, hence, cannot provide a stable environment to which language genes could have adapted. We conclude that a biologically determined UG is not evolutionarily viable. Instead, the original motivation for UG arises because language has been shaped to fit the human brain, rather than vice versa. Following Darwin, we view language itself as a complex and interdependent which evolves under selectional pressures from human learning and processing mechanisms. That is, languages themselves are shaped by severe selectional pressure from each generation of language users and learners. This suggests that apparently arbitrary aspects of linguistic structure may result from general learning and processing biases deriving from the structure of thought processes, perceptuo-motor factors, cognitive limitations, and pragmatics. (shrink)

Memory is fleeting. New material rapidly obliterates previous material. How, then, can the brain deal successfully with the continual deluge of linguistic input? We argue that, to deal with this “Now-or-Never” bottleneck, the brain must compress and recode linguistic input as rapidly as possible. This observation has strong implications for the nature of language processing: (1) the language system must “eagerly” recode and compress linguistic input; (2) as the bottleneck recurs at each new representational level, the language system must build (...) a multilevel linguistic representation; and (3) the language system must deploy all available information predictively to ensure that local linguistic ambiguities are dealt with “Right-First-Time”; once the original input is lost, there is no way for the language system to recover. This is “Chunk-and-Pass” processing. Similarly, language learning must also occur in the here and now, which implies that language acquisition is learning to process, rather than inducing, a grammar. Moreover, this perspective provides a cognitive foundation for grammaticalization and other aspects of language change. Chunk-and-Pass processing also helps explain a variety of core properties of language, including its multilevel representational structure and duality of patterning. This approach promises to create a direct relationship between psycholinguistics and linguistic theory. More generally, we outline a framework within which to integrate often disconnected inquiries into language processing, language acquisition, and language change and evolution. (shrink)

Recent works on the concept of dignity have opened up the otherwise quite deadlocked debate about assisted death (AD). Rather than just reinforcing already fixed positions, it seems to me that these conceptions of dignity make room for a moderate and normatively richer position on the moral permissibility of AD. I do not think that we have seen the full potential of the said conceptions and interpretations. I try in this article to contribute my part. First, I briefly recapitulate some (...) of the paradoxical ways in which dignity is typically invoked in the debate and try to clear up some of the obvious confusions. Then, I go on to explore a particular Kantian line of thought in some recent works on dignity and AD that seems to pave the way for a moderate position with a more principled foundation than the usual compromise positions. (shrink)

In this review article, Christiansen provides a historical perspective on the two research traditions, implicit learning and statistical learning, thus nicely setting the scene for this special issue of Topics in Cognitive Science. In this “tale of two literatures”, he first traces the history of both literatures before sketching a framework that provides a basis for understanding implicit learning and statistical learning as a unified phenomenon.

PurposeAs interest in technology ethics is increasing, so is the interest in bringing schools of ethics from non-Western philosophical traditions to the field, particularly when it comes to information and communication technology. In light of this development and recent publications that result from it, this paper aims to present responds critically to recent work on Confucian virtue ethics (CVE) and technology.Design/methodology/approachFour critiques are presented as theoretical challenges to CVE in technology, claiming that current literature insufficiently addresses: overall applicability, collective ethics (...) issues, epistemic overconfidence within technology corporations and amplification of epistemic overconfidence by the implementation of CVE. These challenges make use of general CVE literature and work on technology critique, political philosophy, epistemology and business ethics.FindingsImplementing CVE in technology may yield some benefits, but these may be outweighed by other outcomes, include strengthening hierarchies, widening inequities, increasing, rather than limiting, predictive activity, personal data collection, misinformation, privacy violations and challenges to the democratic process.Originality/valueThough not directly advocating against CVE, the paper reveals hitherto unidentified and serious issues that should be addressed before CVE are used to inform ethics guidelines or regulatory policies. It also serves as a foundation for further inquiry into how Eastern philosophy more broadly can inform technology ethics in the West. (shrink)

Journal of Social Philosophy, EarlyView.

Can merely thinking about an imaginary situation provide evidence for how the world actually is--or how it ought to be? In this lively book, Roy A. Sorensen addresses this question with an analysis of a wide variety of thought experiments ranging from aesthetics to zoology. Presenting the first general theory of thought experiment, he sets it within an evolutionary framework and integrates recent advances in experimental psychology and the history of science, with special emphasis on Ernst Mach and Thomas Kuhn. (...) Sorensen explores what thought experiments are, how they work, and what their virtues and vices are. In his view, philosophy differs from science in degree, but not in kind. For this reason, he claims, it is possible to understand philosophical thought experiments by concentrating on their resemblance to scientific relatives. Sorensen assesses the hazards of thought experiments and grants that there are interesting ways in which the method leads us astray, but attacks most scepticism about thought experiments as arbitrary. He maintains that they should be used--as they generally are--as part of a diversified portfolio of techniques, creating a network of cross-checks that make for impressive reliability. (shrink)

You face two buttons. Pushing one will destroy Greensboro. Pushing the other will save it. There is no way for you to know which button saves and which destroys. What ought you to do? Answer: You ought to make the correct guess and push the button that saves Greensboro. Second question: Do you have an obligation to push the correct button?

Many philosophers and medical scientists assume thatdisease categories or entities used to classify concrete cases ofdisease, are often defined by disease mechanisms or causalprocesses. Others suggest that diseases should always be definedin this manner. This paper discusses these standpoints criticallyand concludes that they are untenable, not only when `diseasemechanism' refers to an objective mechanism, but also when`mechanism' refers to a pragmatically demarcated part of thetotal ``objective'' causal structure of diseases. As an alternativeto principles that use the concept of disease mechanism (...) oranalogous concepts, a pragmatic approach is suggested anddescribed. This approach has been suggested before, but inproblematic or inadequate versions. This paper proposes a versioncompiled of two ``pragmatic principles'' and shows that they aremuch more adequate than the principle of disease mechanism. Withreference to a case study of a still ongoing internationaldiscussion of various candidates for a classification system formalignant lymphomas, including REAL (Revised European–AmericanClassification of Lymphoid Neoplasms) in which the concept ofdisease mechanism or analogous concepts plays a very small part,it is shown just how pivotal these two pragmatic principles canbe in actual discussions of definitions of diseases. Finally, itis pointed out that with regard to modern philosophy of languageit may, at least in some cases, be problematic to distinguishbetween the two pragmatic principles as they stand. (shrink)

The ability to convey our thoughts using an infinite number of linguistic expressions is one of the hallmarks of human language. Understanding the nature of the psychological mechanisms and representations that give rise to this unique productivity is a fundamental goal for the cognitive sciences. A long-standing hypothesis is that single words and rules form the basic building blocks of linguistic productivity, with multiword sequences being treated as units only in peripheral cases such as idioms. The new millennium, however, has (...) seen a shift toward construing multiword linguistic units not as linguistic rarities, but as important building blocks for language acquisition and processing. This shift—which originated within theoretical approaches that emphasize language learning and use—has far-reaching implications for theories of language representation, processing, and acquisition. Incorporating multiword units as integral building blocks blurs the distinction between grammar and lexicon; calls for models of production and comprehension that can accommodate and give rise to the effect of multiword information on processing; and highlights the importance of such units to learning. In this special topic, we bring together cutting-edge work on multiword sequences in theoretical linguistics, first-language acquisition, psycholinguistics, computational modeling, and second-language learning to present a comprehensive overview of the prominence and importance of such units in language, their possible role in explaining differences between first- and second-language learning, and the challenges the combined findings pose for theories of language. (shrink)

Machine intelligence already helps medical staff with a number of tasks. Ethical decision-making, however, has not been handed over to computers. In this proof-of-concept study, we show how an algorithm based on Beauchamp and Childress’ prima-facie principles could be employed to advise on a range of moral dilemma situations that occur in medical institutions. We explain why we chose fuzzy cognitive maps to set up the advisory system and how we utilized machine learning to train it. We report on the (...) difficult task of operationalizing the principles of beneficence, non-maleficence and patient autonomy, and describe how we selected suitable input parameters that we extracted from a training dataset of clinical cases. The first performance results are promising, but an algorithmic approach to ethics also comes with several weaknesses and limitations. Should one really entrust the sensitive domain of clinical ethics to machine intelligence? (shrink)

Public reason liberalism strives to accommodate as broad an array of viewpoints as possible. Some people are selective science skeptics, meaning that they disagree with parts of mainstream science. Of special interest for this paper are climate deniers, who disagree with the mainstream consensus views of climate science. This creates a problem for public reason: on the one hand, public reason wants to avoid basing rules and policies on controversial principles, values, and so on. On the other hand, there are (...) citizens whom we cannot outright call irrational who are skeptical about central tenets of climate science. This seems to imply that public reason cannot base policies on the robust findings of climate science because these findings are controversial among the citizenry. But we have strong reasons to base our policies vis-à-vis climate change on the robust findings of climate science. How should we proceed? (shrink)

We present results from a study about women and employee-elected board members, and fill some of the gaps in the literature about their contribution to board effectiveness. The empirical data are from a unique data set of Norwegian firms. Board effectiveness is evaluated in relation to board control tasks, including board corporate social responsibility (CSR) involvement. We found that the contributions of women and employee-elected board members varied depending on the board tasks studied. In the article we also explored the (...) effects of the esteem of the women and employee-elected board members, and we used creative discussions in the boardroom as a mediating variable. Previous board research, including research about women and employee-elected directors, questions if the board members contribute to board effectiveness. The main message from this study is that it may be more important to ask how, rather than if, women and employee-elected board members contribute, and we need to open the black box of actual board behavior to explore how they may contribute. (shrink)

In the generative tradition, the language faculty has been shrinking—perhaps to include only the mechanism of recursion. This paper argues that even this view of the language faculty is too expansive. We first argue that a language faculty is difficult to reconcile with evolutionary considerations. We then focus on recursion as a detailed case study, arguing that our ability to process recursive structure does not rely on recursion as a property of the grammar, but instead emerge gradually by piggybacking on (...) domain-general sequence learning abilities. Evidence from genetics, comparative work on non-human primates, and cognitive neuroscience suggests that humans have evolved complex sequence learning skills, which were subsequently pressed into service to accommodate language. Constraints on sequence learning therefore have played an important role in shaping the cultural evolution of linguistic structure, including our limited abilities for processing recursive structure. Finally, we re-evaluate some of the key considerations that have often been taken to require the postulation of a language faculty. (shrink)

Arguably, emotion is always valenced—either pleasant or unpleasant—and dependent on the pleasure system. This system serves adaptive evolutionary functions; relying on separable wanting, liking, and learning neural mechanisms mediated by mesocorticolimbic networks driving pleasure cycles with appetitive, consummatory, and satiation phases. Liking is generated in a small set of discrete hedonic hotspots and coldspots, while wanting is linked to dopamine and to larger distributed brain networks. Breakdown of the pleasure system can lead to anhedonia and other features of affective disorders. (...) Eudaimonia and well-being are difficult to study empirically, yet whole-brain computational models could offer novel insights potentially linking eudaimonia to optimal metastability in the pleasure system. (shrink)

The importance of developmental agendas -- A capability framework for development goals -- A Republican account of local authority in development -- Third wave development expertise -- Selecting capabilities for a development agenda -- Methods for the selection of capabilities and functionings -- An inclusive framework for setting development agendas.

Do not pass by my epitaph, Wayfarer, but when you have stopped, hear and learn, then depart. There is no boat, To carry you to Hades, No ferryman Charon, No judge Aeacus, No Dog Cerberus. All of us below have become bones and ashes. Truly, I have nothing more to tell you. So depart, wayfarer, Lest dead though I am I seem to you to be a teller of vain tales.

This paper makes two main claims: first, that the need to protect health professionals' moral integrity is what grounds the right to conscientious objection in health care; and second, that for a given claim of conscientious objection to be acceptable to society, a certain set of criteria should be fulfilled. The importance of moral integrity for individuals and society, including its special role in health care, is advocated. Criteria for evaluating the acceptability of claims to conscientious objection are outlined. The (...) precise content of the criteria is dictated by the two main interests that are at stake in the dilemma of conscientious objection: the patient's interests and the health professional's moral integrity. Alternative criteria proposed by other authors are challenged. The bold claim is made that conscientious objection should be recognised by society as acceptable whenever the five main criteria of the proposed set are met. (shrink)

Seizing the opportunity to apply what they had learned, the students declared a cheating competition. Outspoken participants (future lawyers, politicians, and captains of industry) bragged about their ruses. But to their chagrin, an ethics student prevailed.

BackgroundCase consultation performed by clinical ethics committees (CECs) is a complex activity which should be evaluated. Several evaluation studies have reported stakeholder satisfaction in single institutions. The present study was conducted nationwide and compares clinicians’ evaluations on a range of aspects with the CEC’s own evaluation.MethodsProspective questionnaire study involving case consultations at 19 Norwegian CECs for 1 year, where consultations were evaluated by CECs and clinicians who had participated.ResultsEvaluations of 64 case consultations were received. Cases were complex with multiple ethical (...) problems intertwined. Clinicians rated the average CEC consult highly, being both satisfied with the process and perceiving it to be useful across a number of aspects. CEC evaluations corresponded well with those of clinicians in a large majority of cases. Having next of kin/patients present was experienced as predominantly positive, though practised by only half of the CECs. The educational function of the consult was evaluated more positively when the CEC used a systematic deliberation method.ConclusionsCEC case consultation was found to be a useful service. The study is also a favourable evaluation of the Norwegian CEC system, implying that it is feasible to implement well-functioning CECs on a large scale. There are good reasons to involve the stakeholders in the consultations as a main rule. (shrink)

Requirement‐sensitive legal moralism is a species of legal moralism in which the legitimacy of turning moral into legal demands depends on the existence of a legitimate moral requirement, producing a legitimate social requirement, which can then ground a legitimate legal requirement. Crucially, each step is defeasible by contingent or instrumental, but not intrinsic moral factors. There is no genuinely moral sphere (e.g., a private sphere) in which the law is not to interfere; only contingent, non‐moral factors can defeat this. Using (...) William A. Edmundson's Three Anarchical Fallacies as a foil, this idea is spelled out; it is shown why considerations based on the harm principle, consent, and the fact of pluralism do not immediately defeat it, but several problems with Edmundson's account are examined to point out where the idea could be further developed. (shrink)

Integrating local knowledge about environmental and socioeconomic circumstances is necessary in order for development efforts to be responsive to local realities and needs. However, knowledge-integ...

ABSTRACTThis paper explores the role of exemplarity in education through a conceptualisation of two different dimensions of exemplarity in educational practice. Pedagogical exemplarity, which relates to the pedagogical and ethical dimension of educational practice. In other words, this dimension explores the educational moments when someone takes up an exemplary function in educational practice. Didactical exemplarity, which relates to the exemplary function of subject matter or educational content. In other words, this dimension explores the educational moments when something takes up an (...) exemplary function in educational practice. Through an initial conceptual exploration of these two dimensions, via the works of Linda Zagzebski and Martin Wagenschein, the paper sets out to lay the foundation for a deeper understanding of the role of exemplarity in education. (shrink)

In a recent article, [Sergent, C. & Dehaene, S. . Is consciousness a gradual phenomenon? Evidence for an all-or-none bifurcation during the attentional blink, Psychological Science, 15, 720–729] claim to give experimental support to the thesis that there is a clear transition between conscious and unconscious perception. This idea is opposed to theoretical arguments that we should think of conscious perception as a continuum of clarity, with e.g., fringe conscious states [Mangan, B. . Sensation’s ghost—the non-sensory “fringe” of consciousness, Psyche, (...) 7, 18]. In the experimental study described in this article, we find support for this opposite notion that we should have a parsimonious account of conscious perception. Our reported finding relates to the hypothesis that there is more than one perceptual threshold [Merikle, P.M., Smilek, D. & Eastwood, J.D. . Perception without awareness: perspectives from cognitive psychology, Cognition, 79, 115–134], but goes further to argue that there are different “levels” of conscious perception. (shrink)

This paper presents an integrated discussion of methods and ethics by drawing on participatory research with children in Ethiopia and Kenya. It examines the complex social, ethical, practical and methodological dilemmas of research with HIV-affected children, and explores how we confronted some of these dilemmas before, during and after fieldwork. The paper interrogates the role and limitations of ‘global’ ethical standards in childhood research, and the ways in which the researchers’ gender, ethnicity/race, material power, knowledge and insider-outsider position all intersect (...) to affect: (a) the level of children's involvement in the research process; (b) the generation of knowledge about the field; and (c) the negotiation of ethics in collaborative ways. We argue that doing ethical research with HIV-affected children should not be based solely on dominant and de-contextualised understandings of ethics, knowledge and social relations, but should be negotiated reflexively and through dialogue with participants, including the children, their guardians and ‘local’ community members—all with the aim of doing good and avoiding harm in the research process. (shrink)

Verisimilitude has the potential to deepen the understanding of mathematical progress, the principle of charity, and the psychology of regret. One obstacle is the widely held belief that two statements can vary in truthlikeness only if they vary in what they entail. This obstacle is removed with four types of counterexamples. The first concerns necessarily coextensive measurements that differ only with respect to their units (specifically length, area, and volume). The second class ofcounterexamples is composed of mathematical falsehoods. The third (...) class features inconsistent scientific theories. The fourth class of cases features statements that are instructive but meaningless. (shrink)

Drawing inspiration from the ethical pluralism of G. E. Moore's Principia Ethica, I contend that one empty world can be morally better than another. By ?empty? I mean that it is devoid of concrete entities (things that have a position in space or time). These worlds have no thickets or thimbles, no thinkers, no thoughts. Infinitely many of these worlds have laws of nature, abstract entities, and perhaps, space and time. These non-concrete differences are enough to make some of them (...) better than others. 1I thank Walter Sinnott-Armstrong, John Carroll, and Gideon Rosen for their comments and suggestions. (shrink)

The vanishing point is a representational gap that organizes the visual field. Study of this singularity revolutionized art in the fifteenth century. Further reflection on the vanishing point invites the conjecture that the self is an absence. This paper opens with perceptual peculiarities of the vanishing point and closes with the metaphysics of personal identity.

Background:Through the Norwegian ethics project, ethics activities have been implemented in the health and care sector in more than 200 municipalities.Objectives:To study outcomes of the ethics activities and examine which factors promote and inhibit significance and sustainability of the activities.Research design:Two online questionnaires about the municipal ethics activities.Participants and research context:A total of 137 municipal contact persons for the ethics project answered the first survey, whereas 217 ethics facilitators responded to the second survey.Ethical considerations:Based on informed consent, the study was (...) approved by the Data Protection Official of the Norwegian Social Science Data Services.Findings:Around half of the respondents found the ethics project to have been highly significant for daily professional practice. Outcomes include better handling of ethical challenges, better employee cooperation, better service quality, and better relations to patients and next of kin. Factors associated with sustainability and/or significance of the activities were sufficient support from stakeholders, sufficient available time, and ethics facilitators having sufficient knowledge and skills in ethics and access to supervision.Discussion:This study shows that ethics initiatives can be both sustainable and significant for practice. There is a need to create regional or national structures for follow-up and develop more comprehensive ethics training for ethics facilitators.Conclusion:It is both possible and potentially important to implement clinical ethics support activities in community health and care services systematically on a large scale. Future ethics initiatives in the community sector should be designed in light of documented promoting and inhibiting factors. (shrink)

When clinical ethics committee members discuss a complex ethical dilemma, what use do they have for normative ethical theories? Members without training in ethical theory may still contribute to a pointed and nuanced analysis. Nonetheless, the knowledge and use of ethical theories can play four important roles: aiding in the initial awareness and identification of the moral challenges, assisting in the analysis and argumentation, contributing to a sound process and dialogue, and inspiring an attitude of reflexivity. These four roles of (...) ethical theory in clinical ethics consultation are described and their significance highlighted, while an example case is used as an illustration throughout. (shrink)